Specification and Animation of Reactive Systems
نویسندگان
چکیده
SOLVE (Specification using an Object-based, LOTOS-defined, Visual language) is designed to allow formal requirements capture, particularly for reactive systems. The SOLVE language is object-based, and formally defined using LOTOS (Language Of Temporal Ordering Specification). SOLVE is supported by tools that allow direct visual animation of systems specified in this language. Animation is supported by translating a SOLVE specification automatically into a LOTOS specification, and then graphically simulating this. A further application is embodied in the XDILL tool that supports requirements specification and visual animation of digital logic circuits. Several illustrative SOLVE examples are
منابع مشابه
Reactive Animation
Software engineers use system visualization mainly in two domains: algorithm visualization and system visualization, and both of these are often animated. In this paper we provide a generic link between the specification and animation of complex object-oriented reactive systems, which constitute one of the most important and difficult classes of systems. The link and its methodology form a basi...
متن کاملGeneric Reactive Animation: Realistic Modeling of Complex Natural Systems
Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understanding thereof and may help in efforts to save on resources and development time. In recent years, our group has been involved in modeling and understanding biological systems, which are perhaps the prime example of highly complex...
متن کاملPsychological reactions in the (I.C.U.) Department of Animation
The Psycho-reactive problems affecting patients, relatives and staff in the intensive care unit are discussed in this article. These problems are usually due to the admitting disease itself, ( obvious anxiety of the patient who has just had a coronary infarction agitation of the patient with incipient respiratory failure) or psycho-reactive problems arising directly from the I.C.U. environme...
متن کاملA graphical tool for specification of reactive systems
A prototype of a simulation tool with graphical visualization and animation facilities has been implemented for the DisCo specification language. This paper describes the basic ideas behind it, with emphasis on the visualization and animation facilities. The DisCo language is designed so that formal reasoning can be used to ensure critical properties of the specification. Simulation with animat...
متن کاملEXPOSE : an animation tool for process - oriented
This paper describes and evaluates EXPOSE, an animation tool for process-oriented formal specifications of concurrent systems. EXPOSE takes as input the text of a formal specification and, from it, generates static views (interpretations) of the specification structure and dynamic views of the behaviour of the system specified. The views are constructed and explored using the hypermedia facilit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996